Modeling and performance analysis for security aspects
نویسندگان
چکیده
منابع مشابه
Aspects with Program Analysis for Security Policies
Enforcing security policies to IT systems, especially for a mobile distributed system , is challenging. As society becomes more IT-savvy, our expectations about security and privacy evolve. This is usually followed by changes in regulation in the form of standards and legislation. In many cases, small modification of the security requirement might lead to substantial changes in a number of modu...
متن کاملEnergy and Security Aspects of Wireless Networks: Performance and Tradeoffs
Title of dissertation: ENERGY AND SECURITY ASPECTS OF WIRELESS NETWORKS: PERFORMANCE AND TRADEOFFS Nof Abuzainab, Doctor of Philosophy, 2013 Dissertation directed by: Professor Anthony Ephremides Department of Electrical Engineering Energy and security are becoming increasingly important in the design of future wireless communication systems. This thesis focuses on these two main aspects of wir...
متن کاملChoreographing security and performance analysis
We present a novel method of assuring security and performance demands on systems based on automated analysis of UML model descriptions. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the ...
متن کاملThreat Modeling for Automotive Security Analysis
Connected and intelligent vehicles create new risks to cybersecurity and road safety. Threat modeling is a building block in automotive security engineering that identifies potential threats for corresponding mitigations. In this paper, we address how to conduct threat modeling for automotive security analysis during the development lifecycle. We propose a practical and efficient approach to th...
متن کاملPerformance Modeling and Analysis
Modeling and analysis techniques are used to investigate the performance of a massively parallel version of DIRECT, a global search algorithm widely used in multidisciplinary design optimization applications. Several high-dimensional benchmark functions and real world problems are used to test the design effectiveness under various problem structures. Theoretical and experimental results are co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.11.006